# -*- mode: snippet -*-
# name: forall
# key: fo
# uuid: fo
# --
forall $1:$2,$3
